Aminet 1/Aminet - June 1993 [Walnut Creek].iso/ab20/languags/ada/adaed10a.lzh/Ada/Examples/Dine/chopspec.ada

Text File | 1992-03-03 | 298 b | 12 lines

PACKAGE Chop IS
-- Specification for a chopstick task, intended for use with
-- dining philosophers. It is really just a binary semaphore.
-- Michael B. Feldman, The George Washington University, November 1990.

  TASK TYPE Stick IS
    ENTRY Pick_Up;
    ENTRY Put_Down;
  END Stick;

END Chop;